Embedded Systems

Constraint-Based Platform Variants Specification for Early System Verification

by An­dreas Burger, Alexan­der Viehl, An­dreas Braun, Finn Haedicke, Daniel Große, Oliver Bring­mann, and Wolf­gang Rosen­stiel
In 2014 19th Asia and South Pa­cific De­sign Au­toma­tion Con­fer­ence (ASP-DAC), pages 800–805. IEEE, 2014.